A Sacks amoeba preserving distributivity of $\mathcal {P}(\omega )/\mathrm {fin}$
نویسندگان
چکیده
منابع مشابه
The distributivity numbers of finite products of P(ω)/fin
Generalizing [ShSp], for every n < ω we construct a ZFC-model where h(n), the distributivity number of r.o.(P(ω)/fin)n, is greater than h(n+ 1). This answers an old problem of Balcar, Pelant and Simon (see [BaPeSi]). We also show that both Laver and Miller forcings collapse the continuum to h(n) for every n < ω, hence by the first result, consistently they collapse it below h(n). Introduction. ...
متن کاملModal $\mathrm{I}\mathrm{n}\mathrm{t}\mathrm{u}\mathrm{i}\mathrm{t}\mathrm{i}\mathrm{o}\mathrm{n}\tilde{\mathrm{l}}\mathrm{s}\mathrm{t}\mathrm{i}\mathrm{C}$ Logics and Predicate Superintuitionistic Logics: $\mathrm{C}_{0\Gamma \mathrm{r}\mathrm{e}..\mathrm{S}},\mathrm{p}$
In this note we deal with intuitionistic modal logics over $\mathcal{M}\mathcal{I}PC$ and predicate superintuitionistic logics. We study the correspondence between the lattice of all (normal) extensions of MTPC and the lattice of all predicate superintuitionistic logics. Let $\mathrm{L}_{Prop}$ denote a propositional language which contains two modal operators $\square$ and $\mathrm{O}$ , and $...
متن کاملWeak Distributivity implying Distributivity
Let B be a complete Boolean algebra. We show that if λ is an infinite cardinal and B is weakly (λ, ω)-distributive, then B is (λ, 2)-distributive. Using a similar argument, we show that if κ is a weakly compact cardinal such that B is weakly (2, κ)distributive and B is (α, 2)-distributive for each α < κ, then B is (κ, 2)-distributive.
متن کاملThe distributivity numbers of of P(ω)/fin and its square
We show that in a model obtained by forcing with a countable support iteration of Mathias forcing of length ω2, the distributivity number of P(ω)/fin is ω2, whereas the distributivity number of r.o.(P(ω)/fin) 2 is ω1. This answers an old problem of Balcar, Pelant and Simon, and others.
متن کاملOperator frame for $End_{mathcal{A}}^{ast}(mathcal{H})$
Frames generalize orthonormal bases and allow representation of all the elements of the space. Frames play significant role in signal and image processing, which leads to many applications in informatics, engineering, medicine, and probability. In this paper, we introduce the concepts of operator frame for the space $End_{mathcal{A}}^{ast}(mathcal{H})$ of all adjointable operator...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Mathematicae
سال: 2021
ISSN: 0016-2736,1730-6329
DOI: 10.4064/fm961-9-2020